Nuprl Definition : w-ekind
0,22
postcript
pdf
kind(
e
) == kind(act(
e
))
latex
clarification:
w-ekind(
w
;
e
) == w-kind(
w
; w-act(
w
;
e
))
latex
Definitions
act(
e
)
,
kind(
a
)
FDL editor aliases
w-ekind
origin